/*test single array element 
 */
/*@*/
void printElement(int i)
{
	print(i);
	return;
}
/*@*/

/*@*/
int main()
{
	array[10,int]a;
	int i;
	i=0;
	while(i<10)
	{
		a[i]=i*i;
		i=i+1;
	}
	i=0;
	while(i<10)
	{
		print(a[i]);
		i=i+1;
	}
	return 0;
}
/*@*/
